一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

简化的UKF方法在多普勒雷达对目标跟踪中的应用

多普勒雷达对目标的观测数据是由距离、方位角、俯仰角和径向速度组成,而大多数雷达的观测数据仅由前三者组成.基于利用径向速度的扩展卡尔曼滤波方法,提出利用径向速度的一种简化的UKF方法对目标进行跟踪.此非线性方法对目标的跟踪有两大改进:①引入径向速度观测值时可以大大提高跟踪性能;②UKF方法比传统的EKF算法有更高的估计精度.     

机载雷达伺服系统模糊自整定PID控制研究

针对机载雷达伺服系统提出了一种参数模糊自整定PID控制,利用模糊控制规则在线对PID参数进行修改,克服了传统PID控制的一些缺点.详细介绍了参数模糊自整定PID控制的基本原理及设计方法,并采用MATLAB/SIMULINK中的模糊控制工具箱对系统进行了辅助设计与仿真实验.仿真结果表明,该控制方法可以提高雷达伺服系统的动、静态特性,使整个系统获得较好的性能.     

多站遥测数据加权融合方法

针对靶场试验中遥测数据融合处理问题,提出了一种多站遥测数据加权融合处理方法。依据对加权融合思想的分析,构建了融合权重与测量精度之间的对应计算模型;依据地面测量站对导弹实测数据的统计分析,构建了测量设备实时测量精度模型。基于典型算例对所提算法进行验证,结果表明所提算法能够较好地解决遥测数据融合处理问题,具有一定的理论意义和较好的应用价值。     

弹丸被甲材料对步枪精度影响分析

为了研究弹丸被甲材料对枪械射击的影响,分别用H90铜被甲弹和覆铜钢被甲弹进行射击实验,试验得到了不同弹药对应的枪口初速、100 m处射击精度;根据试验结果,建立了弹丸挤进模型;通过仿真计算可得出结论:弹丸被甲的材料不同而使其对应的挤进压力不同,导致内弹道计算结果的不同、弹丸初速与转速出现差异,为步枪精度分析提供一定的参考。     

生命哲学视角下西部高校教师职业幸福感研究

幸福是人生追求的永恒主题，在以人为本的理念下，高等教育更为关注人的生命，人的生命存在方式。面对信息相对闭塞、生活环境相对恶劣、管理体制相对落后等无奈状况，西部高校教师职业幸福感如何？对于该问题的研究有利于促进教师心理健康发展，提升教师幸福感，提高教育教学质量。研究发现西部高校教师职业感受以不幸福为主；幸福感来源单一，主要来自于学生的行为表现；导致不幸福感的因素主要以压力大、学生问题、缺乏认可等因素为主。研究从生命哲学视角出发认为高校教师存在的应然意义在于“诗意栖息”，但实然状况下高校教师的“诗意存在”被现实消解，“创造性地栖息”、“精神相遇地栖息”是冲破藩篱、回归“诗意居住”幸福生活的路径。     

中低空防空武器的费效比计算

武器系统的费效比是指武器系统损失的费用与所获得的效能之比。武器系统性能的好坏,不仅要看武器系统作战效能的高低,而且要考虑综合费用的多少。首次考虑了物价增长指数的影响,在此基础上建立了计算装备使用期武器系统使用费用的数学模型,并分别计算了中低空防空武器的使用费用;建立了计算武器系统费效比的数学模型,分别计算了中低空防空武器的作战效能和费效比。     

基于免疫粒子群算法的自抗扰飞行控制器设计

提出了一种基于免疫粒子群优化算法的自抗扰大包线飞行控制器设计方法.针对传统的增益调参设计方法存在的工作量巨大与设计效率低的问题,利用自抗扰控制器进行大包线飞行控制器设计,并推导了适用于该方法的飞机非线性方程.由于自抗扰控制能够动态补偿对象模型的内扰和外扰,因此在很大的飞行区域内仅需一套控制器便可,从而避免了烦琐复杂的增益调参设计过程,并用免疫粒子群优化算法对自抗扰控制器参数进行了优化研究.仿真结果表明,所设计的自抗扰控制器具有优良的控制性能,并且控制器参数在较大的包线范围内不需要改变,从而简化了大包线飞行控制器设计.     

导弹批量测试仿真研究

针对现存导弹批量测试中存在的问题,采用离散仿真方法,论证了在不改变现有测试规程,而适当增加测试工位,优化测试流程,可显著缩短批量导弹测试时间,提高快速反应能力和生存能力.仿真系统可对多个不同方案论证,生成的横道图可直接用于测试组织指挥.     

GPIB的动态信号分析仪远程控制方法与实现

为满足某型号导弹位标器自动测控系统的需求,采用PCI-GPIB总线连接安捷伦动态信号分析仪35670A与上位PC机,设计了基于35670A的位标器频率响应测试模块的整体架构,重点描述了基于VISA函数库的LAB Windows CVI编码实现步骤,并给出了该型号导弹位标器频率响应测试的结果.